Summary

[ summary ] [ package list ] [ test cases ]

Tests Errors Failures Success rate Time(s)
3 3 0 0.00% 0.00

Note: failures are anticipated and checked for with assertions while errors are unanticipated.

Package List

[ summary ] [ package list ] [ test cases ]

Package Tests Errors Failures Success Rate Time
org.acmsl.contractchecker 3 3 0 0.00% 0.00

Note: package statistics are not computed recursively, they only sum up all of its testsuites numbers.

org.acmsl.contractchecker

Class Tests Errors Failures Success Rate Time
ContractCheckerAspectTemplateGeneratorTest 1 1 0 0.00% 0.000
ContractCheckerDocletTest 1 1 0 0.00% 0.000
ContractCheckerTaskTest 1 1 0 0.00% 0.000

Test Cases

[ summary ] [ package list ] [ test cases ]

ContractCheckerAspectTemplateGeneratorTest

org.acmsl.contractchecker.ContractCheckerAspectTemplateGeneratorTest

ContractCheckerDocletTest

org.acmsl.contractchecker.ContractCheckerDocletTest

ContractCheckerTaskTest

org.acmsl.contractchecker.ContractCheckerTaskTest